type variance
共変性と反変性
Polymorphism
(computer science)
Inheritance
(object-oriented programming)
Liskov substitution principle
https://en.wikipedia.org/wiki/Type_variance